Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
871	Complexity of Nondeterministic Graph Parameter Testing Marek Karpinski∗ Roland Mark´o† Add to Reading List Source URL: theory.cs.uni-bonn.de Language: English - Date: 2014-08-14 05:01:42 Lemmas Szemerédi regularity lemma Graph coloring Algorithmic version for Szemerédi regularity partition Approximately finite dimensional C*-algebra Mathematics Theoretical computer science Graph theory
872	John Carmack Archive - .planhttp://www.team5150.com/~andrew/carmack March 18, 2007 Contents Add to Reading List Source URL: floodyberry.com Language: English - Date: 2002-05-16 09:02:25 Software Quake Texture mapping Virtual reality Reflection mapping Mipmap Cube mapping John D. Carmack Normal mapping Computer graphics Algebra 3D computer graphics
873	ERMiner: Sequential Rule Mining using Equivalence Classes Philippe Fournier-Viger1 , Ted Gueniche1 , Souleymane Zida1 , Vincent S. Tseng2 1 2 Add to Reading List Source URL: www.philippe-fournier-viger.com Language: English - Date: 2014-10-31 09:13:27 Algebra Theoretical computer science Association rule learning Data management Mathematical logic Integer Equivalence of categories Algorithm Equivalence relation Mathematics Abstract algebra Data mining
874	Outline Problem Description Algorithmic Insights Pointer Redirecting Approach Performance Conclusion Add to Reading List Source URL: icl.cs.utk.edu Language: English - Date: 2010-07-09 17:12:05 Nvidia Numerical linear algebra GPGPU Numerical software Basic Linear Algebra Subprograms FLOPS CUDA Nvidia Tesla GeForce 200 Series Computer hardware Computing Video cards
875	Fast distance multiplication of unit-Monge matrices Alexander Tiskin Department of Computer Science University of Warwick http://www.dcs.warwick.ac.uk/~tiskin Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 07:07:11 Dynamic programming Binary operations Primitive types Approximate string matching Pattern matching Matrix Multiplication Factorial Min-plus matrix multiplication Mathematics Abstract algebra Data types
876	hiJaC Contracts in a State-rich Timed Process Algebra Kun Wei, Jim Woodcock and Ana Cavalcanti Department of Computer Science University of York Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-02-26 07:24:06 Boolean algebra Mathematical logic Communicating sequential processes Process calculus Circus Process calculi
877	OPTi’s Algorithm for Discreteness Determination Masaaki Wada Department of Information and Computer Sciences Nara Women’s University 1 Add to Reading List Source URL: delta.math.sci.osaka-u.ac.jp Language: English - Date: 2010-03-25 03:52:10 Torus Orbifold Geometry Group theory Riemann surfaces Topology Abstract algebra Surfaces
878	Intel Parallel Computing Center The Innovative Computing Laboratory The University of Tennessee, Knoxville MAGMA MIC 1.3 Release Add to Reading List Source URL: icl.eecs.utk.edu Language: English - Date: 2014-11-15 17:18:37 Mathematics Mathematical software Basic Linear Algebra Subprograms LAPACK Math Kernel Library PBLAS Magma computer algebra system LINPACK Computational science Numerical software Numerical analysis Numerical linear algebra
879	VISYM: A Platform for Large Scale Computer Vision Jeffrey Byrne, Jack Sim and Jianbo Shi University of Pennsylvania {jebyrne,jiwoong,jshi}@cis.upenn.edu Abstract Add to Reading List Source URL: www.jeffreybyrne.com Language: English - Date: 2013-05-01 13:37:38 Cross-platform software Software architecture Numerical linear algebra Computer file formats MATLAB MEX file Server Java LabelMe Computing Software Array programming languages
880	Microsoft PowerPoint - AGACSEDoranPresentation.ppt [Compatibility Mode] Add to Reading List Source URL: www.geomerics.com Language: English - Date: 2014-03-12 04:21:44 Mathematical analysis Heat transfer Vectors Differential geometry Radiosity Rendering Shading Geomerics Vector space Mathematics Algebra 3D computer graphics

UPDATE